Integraler av inversa funktioner kan beräknas med hjälp av en formel ifall antiderivatat till den ursprungliga funktionen är känt. Formeln lyder:
där betecknar inversen av , betecknar antiderivatan till och betecknar integreringskonstanten.
Formeln upptäcktes första gången 1905 av Charles-Ange Laisant, men flera matematiker har återupptäckt formeln oberoende av Laisant sedan dess.